Lower semicontinuous functions with values in a continuous lattice
نویسندگان
چکیده
It is proved that for every continuous lattice there is a unique semiuniform structure generating both the order and the Lawson topology. The way below relation can be characterized with this uniform structure. These results are used to extend many of the analytical properties of real-valued l.s.c. functions to l.s.c. functions with values in a continuous lattice. The results of this paper have some applications in potential theory.
منابع مشابه
Localic Real Functions: a General Setting
A [semi-]continuous real function of a frame (locale) L has up to now been understood as a frame homomorphism from the frame L(R) of reals into L [as a frame homomorphism (modulo some conditions) from certain subframes of L(R) into L]. Thus, these continuities involve different domains. It would be desirable if all these continuities were to have L(R) as a common domain. This paper demonstrates...
متن کاملPartial Dcpo’s and Some Applications
We introduce partial dcpo’s and show their some applications. A partial dcpo is a poset associated with a designated collection of directed subsets. We prove that (i) the dcpo-completion of every partial dcpo exists; (ii) for certain spaces X, the corresponding partial dcpo’s of continuous real valued functions on X are continuous partial dcpos; (iii) if a space X is Hausdorff compact, the latt...
متن کاملLower Semicontinuous Functions
We define the notions of lower and upper semicontinuity for functions from a metric space to the extended real line. We prove that a function is both lower and upper semicontinuous if and only if it is continuous. We also give several equivalent characterizations of lower semicontinuity. In particular, we prove that a function is lower semicontinuous if and only if its epigraph is a closed set....
متن کاملVariants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions
Katětov-Tong insertion type theorem For every upper semicontinuous real function f and lower semicontinuous real function g satisfying f ≤ g, there exists a continuous real function h such that f ≤ h ≤ g (Katětov 1951, Tong 1952). For every lower semicontinuous real function f and upper semicontinuous real function g satisfying f ≤ g, there exists a continuous real function h such that f ≤ h ≤ ...
متن کاملLower Semicontinuous Regularization for Vector-Valued Mappings
The concept of the lower limit for vector-valued mappings is the main focus of this work. We first introduce a new definition of adequate lower and upper level sets for vector-valued mappings and establish some of their topological and geometrical properties. Characterization of semicontinuity for vector-valued mappings is thereafter presented. Then, we define the concept of vector lower limit,...
متن کامل